-
1 normal form theorem
-
2 normal form theorem
Математика: теорема о нормальной форме -
3 Shannon's expansion theorem
Большой англо-русский и русско-английский словарь > Shannon's expansion theorem
-
4 Shannon's expansion theorem
English-Russian dictionary of computer science and programming > Shannon's expansion theorem
-
5 Shannon's expansion theorem
Вычислительная техника: теорема разложения Шеннона (для булевых функций в совершенной дизъюнктивной нормальной форме)Универсальный англо-русский словарь > Shannon's expansion theorem
-
6 Shannon's expansion theorema
Вычислительная техника: теорема разложения Шеннона (для булевых функций в совершенной дизъюнктивной нормальной форме)Универсальный англо-русский словарь > Shannon's expansion theorema
См. также в других словарях:
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
Пост Эмиль Леон — Пост (Post) Эмиль Леон (11.2.1897, Августов, Польша, ‒ 21.4,1954, Нью Йорк), американский математик и логик. Читал лекции по математике и логике в Колумбийском, Нью Иоркском и др. университетах США. Им получен ряд фундаментальных результатов в… … Большая советская энциклопедия
Пост — I (Post) Эмиль Леон (11.2.1897, Августов, Польша, 21.4,1954, Нью Йорк), американский математик и логик. Читал лекции по математике и логике в Колумбийском, Нью Иоркском и др. университетах США. Им получен ряд фундаментальных результатов в … Большая советская энциклопедия
Нормальная форма Пуанкаре — Дюлака — Связать? В теории динамических систем, нормальная форма Пуанкаре Дюлака (англ.) формальная норм … Википедия
Нормальная форма Пуанкаре — У этого термина существуют и другие значения, см. Нормальная форма (значения). В теории динамических систем, нормальная форма Пуанкаре Дюлака (англ.) формальная нормальная форма векторного поля в окрестности своей особой точки.… … Википедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
КОШИ ЗАДАЧА — одна из основных задач теории дифференциальных уравнений (обыкновенных и с частными производными); состоит в отыскании решения (интеграла) дифференциального уравнения, удовлетворяющего так наз. начальным условиям (начальным данным). К. з. обычно… … Математическая энциклопедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ОСОБЕННОСТИ ДИФФЕРЕНЦИРУЕМЫХ ОТОБРАЖЕНИЙ — раздел математич. анализа и дифференциальной геометрии, в к ром изучаются свойства отображений, сохраняющихся при заменах координат в образе и прообразе отображения (или при заменах, сохраняющих нек рые дополнительные структуры); предлагается… … Математическая энциклопедия